Premiers pas vers une ontologie générale des programmes informatiques

Vers une ontologie formelle des artefacts

Résumé : Dans cet article, nous jetons les bases d’une ontologie formelle permettant de rendre compte de la nature générale des artefacts. L’objectif visé par une telle ontologie est d’aider à structurer des ontologies d’application dans des domaines où des artefacts spécifiques sont présents, autrement dit pratiquement tout domaine d’activité ! La conceptualisation s’appuie sur une littérature...

Stabilit globale et diversit locale dans la dynamique des commentaires de Flickr

RÉSUMÉ. Nous analysons les dynamiques du réseau des commentaires du site Flickr à travers l’évolution de la structure globale du réseau, mais aussi celle des voisinages locaux et la manière dont ils se constituent. Nous constatons que la structure générale ne change pas de manière significative si l’on ne considère que les liens réciproques ou si on limite la durée de vie des relations. Les com...

Vers une ontologie des processus de propagation des maladies infectieuses

Utilisation des contraintes pour la génération automatique de cas de test structurels

RÉSUMÉ. Une des difficultés majeures pour l’automatisation du processus de test structurel réside dans la production automatique des cas de test, c’est-à-dire la détermination d’un ensemble de valeurs d’entrée pour lesquelles un point choisi du programme sera exécuté. Nous présentons ici une nouvelle méthode où ce problème est transformé en un problème de résolution de contraintes. La traductio...

Dire n'est pas concevoir

Résumé : Nous verrons dans le cadre de cet article que l’extraction de connaissances à partir de textes relève avant tout de la linguistique textuelle dont un des principes est l’incomplétude des textes ; et qu’il est difficile de prendre en considération les connaissances extralinguistiques nécessaires à leur compréhension. L’utilisation de figures de style, telles que la métonymie et la synec...